J. P. Aguilera, D. Fernández-Duque; "Verification logic: An arithmetical interpretation for negative introspection" - Internet Explorer 2.0

J. P. Aguilera, D. Fernández-Duque; "Verification logic: An arithmetical interpretation for negative introspection"

メモ

Juan Pablo Aguilera，David Fernández-Duque

http://www.aiml.net/volumes/volume11/Aguilera-FernandezDuque.pdf

Advances in Modal Logic